configure.ac: Tweak previous change
authorGlenn Morris <rgm@gnu.org>
Wed, 23 Oct 2013 22:02:42 +0000 (18:02 -0400)
committerGlenn Morris <rgm@gnu.org>
Wed, 23 Oct 2013 22:02:42 +0000 (18:02 -0400)
commitd90a68cbc26b9a7c242d8d281a7315a15da6568e
tree665c14934073d36a62e635f802f9be89f0efd024
parentf26209181bade738de195e8015cfd726592d60a2
configure.ac: Tweak previous change
configure.ac